1. Formal techniques for networked and distributed systems
المؤلف: / edited by Myungchul Kim ... [et al.]
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Electronic data processing , Distributed processing , Congresses,Formal methods (Computer science) , Congresses,Electronic books. , local
رده :
E-BOOK
2. Formal techniques for networked and distributed systems
المؤلف: / Edited by Myungchul Kim ... [et al.]
المکتبة: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)
موضوع: Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
F67I579
2001
3. Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
المؤلف: edited by Myungchul Kim ... ]et al.[
المکتبة: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع: Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
9
.
F67
I579
4. Formal techniques for networked and distributed systems: 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [electronic resource]
المؤلف: / Edited by Myungchul Kim ... [et al]
المکتبة: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)
موضوع: Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
.
F67
,
I579
2001
